Tootfinder

NFL insider tosses out Cowboys’ rival as possible future suitor for Dak Prescott https://www.yardbarker.com/nfl/articles/nfl_insider_tosses_out_cowboys_rival_as_possible_future_suitor_for_dak_presc…

NFL insider tosses out Cowboys’ rival as possible future suitor for Dak Prescott
The situation with Dallas Cowboys quarterback Dak Prescott took somewhat of a surprising turn on Tuesday. NFL Network’s Ian Rapoport indicated little progress on an extension, with the team seemingly willing to let the quarterback play out the final year of his contract without a new deal, potentially setting him up to become a free agent following the season. Assuming this is indeed how things pan out, it has the potential to create one of the most intriguing offseason storylines following t…

“Hope is not a lottery ticket you can sit on the sofa and clutch, feeling lucky. It is an axe you break down doors with in an emergency. Hope should shove you out the door, because it will take everything you have to steer the future away from endless war, from the annihilation of the earth's treasures and the grinding down of the poor and marginal... To hope is to give yourself to the future - and that commitment to the future is what makes the present inhabitable.”
--Rebecca Solni…

I’m in ur git tools, crashing them with emoji.
🤭
https://github.com/newren/git-filter-repo/issues/547

Crash when path contains emoji · Issue #547 · newren/git-filter-repo
Tried the git-clean contrib script on a project that has paths that contain emoji (platform: Fedora Silverblue) and got the following crash: $ git-clean --force Error: Passed b'web/\xf0\x9f\x94\x92...

I was about 6 years old when I figured out how to whistle. Don’t recall why, or how long I’d been trying, just the moment it happened. I was so proud, I went immediately into my parents’ bedroom and whistled loudly at my father’s face. Maybe 6am. On a Sunday. He was not best pleased, my dad. I could tell that right away. I think I whistle today because of what happened next, which I don’t remember. Just a feeling, I guess. It was a while before I whistled again.

Macron doesn't rule out possibility of Western troops in Ukraine: https://benborges.xyz/2024/02/27/macron-doesnt-rule.html

Tomorrow Cats!
I searched all invented AI profiles for "Tomorrow Cats" and -- the future appears to be GIANT KITTEHS!
You've been warned!
#AI #AIart #Midjourney

So following on from the fascinating FCPX feature film workflow doc shared by @… I subbed to #Soundly today and holy shit it's like magic.
$15/mth, search for a sound, audition it, highlight the section you want, *add your choice of physical environment/reverb*, …

BETA-UAV: Blockchain-based Efficient Authentication for Secure UAV Communication
Sana Hafeez, Mahmoud A. Shawky, Mohammad Al-Quraan, Lina Mohjazi, Muhammad Ali Imran, Yao Sun
https://arxiv.org/abs/2402.15817

BETA-UAV: Blockchain-based Efficient Authentication for Secure UAV Communication
Unmanned aerial vehicles (UAV), an emerging architecture that embodies flying ad-hoc networks, face critical privacy and security challenges, mainly when engaged in data-sensitive missions. Therefore, message authentication is a crucial security feature in drone communications. This paper presents a Blockchain-based Efficient, and Trusted Authentication scheme for UAV communication, BETA-UAV, which exploits the inherent properties of blockchain technology concerning memorability and is immutabl…

¿«The Dark Knight Rises» mšs abajo que «Tenet» y «The Dark Knight» en el 7mo lugar? Pésimo ranking, amigos de IndieWire 👎🏻
___
Christopher Nolan Movies Ranked From Worst to Best – IndieWire
https://www.indiewire.com/feature/best-chr

The Logic of Correct Models
Juan Pablo Aguilera, Fedor Pakhomov
https://arxiv.org/abs/2402.15382 https://arxiv.org/pdf/2402.15382

The Logic of Correct Models
For each $n\in\mathbb{N}$, let $[n]ϕ$ mean "the sentence $ϕ$ is true in all $Σ_{n+1}$-correct transitive sets." Assuming Gödel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of formulas valid under this interpretation is precisely the set of theorems of the linear provability logic GLP.3. We also show that this result is not provable in ZFC, so the hypothesis V = L cannot be removed. As part of the proof, we derive (in ZFC) the following pu…